void panic(const char *str);
int printk(const char *fmt, ...);
int tty_write(char *buf, int nr);
